1. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
Author: Marco Bernardo, Alessandro Bogliolo )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Mobile computing,Congresses ، Formal methods )Computer science(,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3465
2. Formal methods for software architectures :
Author: Marco Bernardo, Paola Inverardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
3. Formal methods for software architectures :
Author: Marco Bernardo, Paola Inverardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
Classification :
QA76
.
9
.
F67
M373
2003
